Buy Used and New Martin Davis Books

Handmaiden of The Sun: Book Two - Resolution

by Martin Davis

ISBN 13: 9780244564360

Format: Paperback (316 pages)
Publisher: lulu.com
Published: 24 Mar 2020

Save for later

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

ISBN 13: 9780857298072

Format: Hardcover (433 pages)
Publisher: Springer
Published: 16 Jul 2011

Save for later

The Universal Computer – The Road from Leibniz to Turing: The Road from Leibnitz to Turing

by Martin Davis

ISBN 13: 9780393047851

Format: Hardcover (270 pages)
Publisher: W. W. Norton & Company
Published: 17 Oct 2000

Save for later